Replayable Voting Machine Audit Logs Arel Cordero David Wagner University of California, Berkeley Abstract

Source URL: www.usenix.org

Quasi-Dense Wide Baseline Matching for Three Views Pekka Koskenkorva, Juho Kannala, and Sami S. Brandt Machine Vision Group, University of Oulu, Finland {pkoskenk,jkannala,sbrandt}@ee.oulu.fi Abstract This paper proposes

Source URL: www.ee.oulu.fi

Multi-Axis Synchronization John Rathkey Parker-Hannifin, Compumotor Division Abstract In many machine control and automation problems, there are two or more axes of motion which must be coordinated. The term "multi-axis

Source URL: www.parkermotion.com

Human-Readable Machine-Checkable Abstract Reasoning about Actor Systems David Musser and Carlos A. Varela Rensselaer Polytechnic Institute Computer Science Department Technical Report {musser,cvarela}@cs.rpi.edu

Source URL: www.cs.rpi.edu

1 SBGN support in BIOCHAM Biochemical Abstract Machine Dragana JOVANOVSKA

Source URL: sbml.org

Clusters and Markers for Keystroke Typing Rhythms Shing-hon Lau Machine Learning Department Carnegie Mellon University Abstract

Source URL: www.usenix.org

Jumping Semantics For Call-By-Push-Value Paul Blain Levy University of Birmingham Abstract. We give a jumping machine for a higher-order language, embodying the intuition that calling a procedure is a jump, and returning

Source URL: www.cs.bham.ac.uk

DP RIETI Discussion Paper Series 03-E-003 Determinants of Microlithography Industry Leadership: The Possibility of Collaboration and Outsourcing

Source URL: www.rieti.go.jp

• Nikon
• Stepper
• Philips
• Applied Materials
• IMEC
• Abstract State Machine Language
• Camera lens
• ASML Holding
• Technology
• Electronics
• Electronic engineering

A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution

Source URL: www.cs.man.ac.uk

• Automata theory
• Formal languages
• Logic in computer science
• Runtime verification
• Design
• Finite-state machine
• Regular expression
• C Sharp
• Pattern
• Computing
• Software engineering
• Theoretical computer science

The case for networked remote voting precincts Daniel R. Sandler Dan S. Wallach Rice University {dsandler,dwallach}@cs.rice.edu Abstract

Source URL: www.usenix.org

• Electronic voting
• Absentee ballot
• Voting machine
• Postal voting
• Help America Vote Act
• End-to-end auditable voting systems
• Secret ballot
• Electoral fraud
• Provisional ballot
• Elections
• Politics
• Government